Please select the file containing the model to verify and press the Start button. Supported file formats are BPMN, ADOxx XML, ADO XML Light and PNML.

Verification Parameters
Deadlock
Unboundedness
Reachability
Path existence

Select Model
Verification Results
Status:
Description:
Critical Activities:
Raw xml results
Internal Petri Net
Input Model